<?php
	if(isset($_GET['idcontrat']) && $_GET['idcontrat'] != '')
		header('location:../synthese/list_inter_contrat.php?idcontratref='.$_GET['idcontrat']);
	else
		header('location:../synthese/list_contrat_personne.php?valref='.$_GET['valref'].'&idpers='.$_GET['idpers']);
?>